Following the death of her brilliant mathematician father, Catherine struggles to come to terms with his legacy. Inheriting some of both his brilliance and his instability, she is torn between her sister, Claire, who wants to take her back to New York, and Hal, a former student of her father's, who tests both her knowledge and her emotions. In Proof, David Auburn has fashioned ...(展开全部)

'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' - "The Guardian". In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics wa...(展开全部)

In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the n...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerst...(展开全部)

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerst...(展开全部)

'I should have written you after my first reading of The Living Currency; it was already breath-taking and I should have responded. After reading it a few more times, I know it is the best book of our times.' Letter to Pierre Klossowski from Michel Foucault, winter 1970. Living Currency is the first English translation of Klossowski's La monnaie vivante. It offers an analysis o...(展开全部)

The Phenomenal #1 Worldwide Bestseller WITH A NEW AFTERWORD Hillary Rodham Clinton is known to hundreds of millions of people around the world. Yet few beyond her close friends and family have ever heard her account of her extraordinary journey. She writes with candor, humor and passion about her upbringing in suburban, middle-class America in the 1950s and her transformation ...(展开全部)

Hillary Rodham Clinton is known to hundreds of millions of people around the world. Yet few beyond her close friends and family have ever heard her account of her extraordinary journey. She writes with candor, humor and passion about her upbringing in suburban, middle-class America in the 1950s and her transformation from Goldwater Girl to student activist to controversial F...(展开全部)

希拉里：美国总统克林顿夫人，最有可能成为美国第一位女总统的候选人，本书被认为是她为竞选下一届美国总统的自我宣传之作，从希拉里的中学时代写起，以白宫八年生活为中心，广泛涉及克林顿执政期间美国的对内对外政策、诸多重大国际国内政治事件的背景、她与克林顿之间的情感纠葛等等。作为美国第一夫人，同时又是一个追求独立、有责任心的优秀女性，无论褒贬者都不得不折服于她的公众影响力。 ---from amzon